Equipment Collaboration Expressions in Automatic Test of Safety Critical Systems

-The trustworthiness of safety critical system (SCS) is very important. To assess their trustworthiness depends on data from test. In order to ensure the reliability and validity of test data, especially for such complex SCS, development of test languages is inevitable trend for automatic test of SCS. As general test language for SCS should be independent of specific equipment, in the paper types and syntax of expressions of equipment collaboration are abstracted, evaluating rules for these expressions are designed, and related properties are proved so that to support the generality of SCS test languages. Keywords-trustworthiness; automatic test; equipment collaboration; operational semantics; SCS (Safety Critical System)